1. Representing and reasoning with probabilistic knowledge : a logical approach to probabilities
پدیدآورنده : Bacchus, Fahiem
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Probabilities,، Logic, Symbolic and mathematical,، Artificial intelligence
رده :
QA
273
.
B24
1990
2. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
پدیدآورنده : Fahiem Bacchus, Toby Walsh )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3569
